A Principled Approach Towards Symbolic Geometric Constraint Satisfaction
نویسندگان
چکیده
منابع مشابه
A Principled Approach Towards Symbolic Geometric Constraint Satisfaction
An important problem in geometric reasoning is to find the configuration of a collection of geometric bodies so as to satisfy a set of given constraints. Recently, it has been suggested that this problem can be solved efficiently by symbolically reasoning about geometry. This approach, called degrees of freedom analysis, employs a set of specialized routines called plan fragments that specify h...
متن کاملPriority-Based Geometric Constraint Satisfaction
A well-constrained geometric system seldom occurs in practice, especially at the sketchbased initial conceptual design stage. Usually, it is either underor overconstrained because design is a progressive process and it is difficult for a designer to specify all involved constraints in a consistent way. This paper presents a priority-based graphreduction solution, in which each constraint is ass...
متن کاملTowards a principled approach to semantic interoperability
Semantic interoperability is the faculty of interpreting knowledge imported from other languages at the semantic level, i.e. to ascribe to each imported piece of knowledge the correct interpretation or set of models. It is a very important requirement for delivering a worldwide semantic web. This paper presents preliminary investigations towards developing a unified view of the problem. It prop...
متن کاملSymbolic Constraints in Constructive Geometric Constraint Solving
In design and manufacturing applications users of computer aided de sign systems want to de ne relationships between dimension variables since such relationships express design intent very exibly This work reports on a technique developed to enhance a class of constructive geometric con straint solvers with the capability of managing functional relationships be tween dimension variables The met...
متن کاملAssembly modelling by geometric constraint satisfaction
A new approach for representing and reasoning about assemblies of mechanical parts has been developed. The approach combines a formalism for representing relationships among features with a new method for geometric constraint satisfaction. The method employs symbolic reasoning about the geometric structure of parts to solve spatial constraints between the parts, in contrast to other approaches ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Artificial Intelligence Research
سال: 1996
ISSN: 1076-9757
DOI: 10.1613/jair.292